TAGs: Arithmetic sequence solver